Situation Calculus and Causal Logic
نویسنده
چکیده
In the AAAI-97 paper by McCain and Turner, the frame problem is solved using a nonmonotonic causal logic. In this note we show how their method can be adapted to the language of the situation calculus. The \causal situation calculus" is applied to action domains involving ramiications and nondeterminism, and related to the causal formalization of actions proposed by Lin.
منابع مشابه
ID-logic and the Ramification Problem for the Situation Calculus
The goal of this paper is to extend the general solution to the ramification problem for the situation calculus to the case where causal rules specifying indirect effects of actions may form cycles or cycles through negation. We formulate causal dependencies as rules of inductive definitions. Then we give a semantics to a logic for representing inductive definitions (ID-logic) by translating de...
متن کاملSituation Calculus Semantics for Actual Causality
The state-of-the-art definitions of actual cause by Pearl and Halpern suffer from the modest expressivity of causal models. We develop a new definition of actual cause in the context of situation calculus (SC) basic action theories. As a result, we avoid the paradoxes that arise in causal models and can identify complex actual causes of conditions expressed in first-order logic. We provide a fo...
متن کاملCausality Revisited: Reifying Effects
There is substantial research regarding the frame problem in reasoning about change. Recent work has illustrated the application of Causal Logic to solving this problem in a variety of domains. By means of reifying effects, we provide a framework for reasoning about the causes of change directly in a first-order logic formulation of the situation calculus. We demonstrate that this language augm...
متن کاملA Causal Approach for Modelling Spatial Dynamics∗ A Preliminary Report
We propose a causal approach, involving events identified by their causes and effects, for the modelling of spatial dynamics. The suitability of situation calculus as a high-level formalism for representing and reasoning about spatial dynamics is explored and the causal framework is formalised using the same. A systematic illustration of the manner in which various aspects of axiomatic qualitat...
متن کاملFormal Theories of Action (Preliminary Report)
We apply circumscription to formalizing reasoning about the effects of actions in the framework of the situation calculus. The axiomatic description of causal connections between actions and changes allows us to solve the qualification problem and the frame problem using only simple forms of circumscription. The method is applied to the Hanks—McDermott shooting problem and to a blocks world in ...
متن کامل